[IA64] fix print out in ia64 setup_guest()

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>

diff --git a/tools/libxc/xc_linux_build.c b/tools/libxc/xc_linux_build.c
index 0f80400a130839abb2e11fbee81d47b9d3f9c22b..c592b8ff2dacfa091e2204aa46ba0e566bc0e025 100644 (file)
--- a/tools/libxc/xc_linux_build.c
+++ b/tools/libxc/xc_linux_build.c
@@ -505,8 +505,12 @@ static int setup_guest(int xc_handle,
 
     *store_mfn = page_array[1];
     *console_mfn = page_array[2];
-    printf("store_mfn: 0x%lx, console_mfn: 0x%lx\n",
-           (uint64_t)store_mfn, (uint64_t)console_mfn);
+    printf("start_info: 0x%lx at 0x%lx, "
+           "store_mfn: 0x%lx at 0x%lx, "
+           "console_mfn: 0x%lx at 0x%lx\n",
+           page_array[0], nr_pages,
+           *store_mfn,    nr_pages - 2,
+           *console_mfn,  nr_pages - 1);
 
     start_info = xc_map_foreign_range(
         xc_handle, dom, PAGE_SIZE, PROT_READ|PROT_WRITE, page_array[0]);